Process Algebra with Local Communication
نویسنده
چکیده
In process algebras like μCRL and ACP communication is defined globally. In the context of component-based architectures one wishes to define subcomponents of a system separately, including communication within that subcomponent. We define a process algebra with an operator for local communication that facilitates component-based architectures. Besides being compositional, this language is aimed to be a more practical language (with respect to closely related languages) and also allows for straightforward modelling of synchronous as well as asynchronous behaviour.
منابع مشابه
Inter and Intra-Organizational Communication: The Facilitation Approaches to Strengthen and Sustain Rural Development Management in Portugal
The study describes and evaluates inter-organizational communication and relationships involving rural development management of community lands within specific perimetros florestais in Portugal. The research design is an exploratory research study approach that collected information with a mail questionnaire, interviews and information gleaned from community land association meetings and an in...
متن کاملProcess Algebra for Agent Communication: A General Semantic Approach
In this paper, we consider the process algebra ACPL, which models the basics of agent communication. This algebra combines the informationprocessing aspects of Concurrent Constraint Programming (CCP) with a generalisation of the synchronous handshaking communication mechanism of Communicating Sequential Processes (CSP). The operational semantics of ACPL is given in terms of a transition system ...
متن کاملResults on Generalization of Burch’s Inequality and the Depth of Rees Algebra and Associated Graded Rings of an Ideal with Respect to a Cohen-Macaulay Module
Let be a local Cohen-Macaulay ring with infinite residue field, an Cohen - Macaulay module and an ideal of Consider and , respectively, the Rees Algebra and associated graded ring of , and denote by the analytic spread of Burch’s inequality says that and equality holds if is Cohen-Macaulay. Thus, in that case one can compute the depth of associated graded ring of as In this paper we ...
متن کاملLocal tracial C*-algebras
Let $Omega$ be a class of unital $C^*$-algebras. We introduce the notion of a local tracial $Omega$-algebra. Let $A$ be an $alpha$-simple unital local tracial $Omega$-algebra. Suppose that $alpha:Gto $Aut($A$) is an action of a finite group $G$ on $A$ which has a certain non-simple tracial Rokhlin property. Then the crossed product algebra $C^*(G,A,alpha)$ is a unital local traci...
متن کاملA System for Parallel Computer Algebra Programs
Small problems in computer algebra can be done with moderate time and storage. However, even simply stated problems of medium size can be very expensive to compute. Many such problems run out of storage or take excessive time. Large problems, if they can be done at all, can take hours. As in many other fields, we run into the question as to what is the most economical way to obtain raw processi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 215 شماره
صفحات -
تاریخ انتشار 2008